Protocol Safety, Communication Correctness, Type-driven Development, Concurrency

Feeds to Scour
SubscribedAll
Scoured 15858 posts in 1.20 s
Real-Time Data Stream Processing in Go: Backpressure, Windowing, and Fault Tolerance Explained
dev.to·5h·
Discuss: DEV
🌊Stream Processing
Preview
Report Post
Disposable Environments, Durable Sessions: My Ideal Agentic Workflow
blog.joemag.dev·23h·
Discuss: Hacker News
💾Persistence Strategies
Preview
Report Post
Lessons from Formally Verified Deployed Software Systems (Extended version)
arxiv.org·14h
⚖️Verification Calculi
Preview
Report Post
Alexis King’s Blog
lexi-lambda.github.io·1d
🎯Gradual Typing
Preview
Report Post
network library for C/C++
mongoose.ws·9h·
Discuss: Hacker News
🌐NetworkProtocols
Preview
Report Post
Pavis: A Dumb Proxy for Boring Reloads
fabian4.site·3h·
Discuss: Hacker News
🦀Rust Borrowing
Preview
Report Post
How Static Analysis Can Expose Personal Data Hidden in Source Code
hackernoon.com·7h
📊Static Analysis
Preview
Report Post
Introducing FastMCP 3.0 🚀
jlowin.dev·21h·
Discuss: Hacker News
🔌Interface Evolution
Preview
Report Post
Understanding Poke methods
jemarch.net·1d
🔧Binary Parsing
Preview
Report Post
Architecting Cloud-Native Ambient Agents: Patterns for Scale and Control
next.redhat.com·4h
🏠Homelab Orchestration
Preview
Report Post
Conversation: LLMs and the what/how loop
martinfowler.com·4h
🧩WASM Components
Preview
Report Post
Evolution of LLMs use by a programmer
asfaload.com·2h·
Discuss: Hacker News
🧩WASM Components
Preview
Report Post
cognitect/transit-format: A data interchange format.
github.com·6h·
Discuss: Hacker News
📋Format Specification
Preview
Report Post
A distributed systems reliability glossary
antithesis.com·2d
📝Database WAL
Preview
Report Post
Why gRPC Is Ideal for High-Performance APIs
dev.to·1d·
Discuss: DEV
gRPC
Preview
Report Post
Reduction for Structured Concurrent Programs
arxiv.org·14h
🧠Separation Logic
Preview
Report Post
Type-Safe Routing Without the Build Step
werkbank.dev·57m·
Discuss: Hacker News
Format Verification
Preview
Report Post
Software as clay on the wheel
dri.es·23h
Proof Automation
Preview
Report Post
Making an LSP for great good
thunderseethe.dev·19h·
🌳Incremental Parsing
Preview
Report Post
Using Haskell in Production
agentultra.com·16h
🔗Functional Compilers
Preview
Report Post

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help